How to symbolize propositions

visit shbcf.ru